1

Question–answer games

Année:
2011
Langue:
english
Fichier:
PDF, 364 KB
english, 2011
3

Group announcement logic

Année:
2010
Langue:
english
Fichier:
PDF, 352 KB
english, 2010
4

Logic and intelligent interaction

Année:
2009
Langue:
english
Fichier:
PDF, 88 KB
english, 2009
7

A Logic for Reasoning About Knowledge of Unawareness

Année:
2014
Langue:
english
Fichier:
PDF, 275 KB
english, 2014
8

Robust normative systems and a logic of norm compliance

Année:
2010
Langue:
english
Fichier:
PDF, 436 KB
english, 2010
9

Coalition logic with individual, distributed and common knowledge

Année:
2016
Langue:
english
Fichier:
PDF, 261 KB
english, 2016
10

Resolving distributed knowledge

Année:
2017
Langue:
english
Fichier:
PDF, 748 KB
english, 2017
12

Reasoning about coalitional games

Année:
2009
Langue:
english
Fichier:
PDF, 504 KB
english, 2009
14

Quantified coalition logic

Année:
2008
Langue:
english
Fichier:
PDF, 303 KB
english, 2008
15

Logic and Games: an Introduction

Année:
2014
Langue:
english
Fichier:
PDF, 133 KB
english, 2014
16

Reasoning about reasons behind preferences using modal logic

Année:
2015
Langue:
english
Fichier:
PDF, 750 KB
english, 2015
19

Relativized common knowledge for dynamic epistemic logic

Année:
2015
Langue:
english
Fichier:
PDF, 575 KB
english, 2015
20

The Undecidability of Quantified Announcements

Année:
2016
Langue:
english
Fichier:
PDF, 979 KB
english, 2016
24

On the logic of preference and judgment aggregation

Année:
2011
Langue:
english
Fichier:
PDF, 335 KB
english, 2011
25

A Logic of Strategic Ability Under Bounded Memory

Année:
2009
Langue:
english
Fichier:
PDF, 423 KB
english, 2009
26

Editorial

Année:
2009
Langue:
english
Fichier:
PDF, 46 KB
english, 2009
27

Action and Knowledge in Alternating-Time Temporal Logic

Année:
2006
Langue:
english
Fichier:
PDF, 275 KB
english, 2006
28

What will they say?—Public Announcement Games

Année:
2011
Langue:
english
Fichier:
PDF, 350 KB
english, 2011
29

Completeness and Complexity of Multi-modal CTL

Année:
2009
Langue:
english
Fichier:
PDF, 338 KB
english, 2009
30

Public announcement logic with distributed knowledge: expressivity, completeness and complexity

Année:
2013
Langue:
english
Fichier:
PDF, 591 KB
english, 2013
31

Formal Models of Awareness

Année:
2014
Langue:
english
Fichier:
PDF, 89 KB
english, 2014
33

Complete Axiomatisations of Properties of Finite Sets

Année:
2008
Langue:
english
Fichier:
PDF, 224 KB
english, 2008
35

The Dynamics of Syntactic Knowledge

Année:
2006
Langue:
english
Fichier:
PDF, 291 KB
english, 2006
40

Logics for Qualitative Coalitional Games

Année:
2009
Langue:
english
Fichier:
PDF, 218 KB
english, 2009
45

Introduction to the special issue

Année:
2016
Langue:
english
Fichier:
PDF, 41 KB
english, 2016
46

Introduction to the special issue

Année:
2016
Langue:
english
Fichier:
PDF, 307 KB
english, 2016
49

Knowledge, Rationality & Action || Action and Knowledge in Alternating-Time Temporal Logic

Année:
2006
Langue:
english
Fichier:
PDF, 2.86 MB
english, 2006
50

Logics for Resource Bounded Agents || Editorial

Année:
2009
Langue:
english
Fichier:
PDF, 236 KB
english, 2009